package randoopFailures;

import junit.framework.*;

public class PackageModelRandoopTest_failure_3 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nPackageModelRandoopTest_failure_3.test1");


    com.hyperrealm.kiwi.ui.model.TableSorter var0 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var1 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var0.addTableModelListener((javax.swing.event.TableModelListener)var1);
    var0.fireTableRowsDeleted((-1), 100);

  }

}
